El artículo ofrece una reflexión personal sobre los principios de la bioética. El tiempo de los derechos exige su positivización: es un riesgo y una oportunidad. El autor analiza la situación actual y señala la fragilidad de los principios por su indeterminación. Muestra el proceso de positivización y concluye que los principios deben ser positivizados y las reglas formuladas de acuerdo con los principios. Como en los juegos de suma cero si las reglas ganan, los principios pierden. Parece que los (...) principios son víctimas de su éxito. Sin embargo, el triunfo de los principios, su transformación en reglas no anula, sino que refuerza los principios. (shrink)

El 40 aniversario de la Pacem in Terris de Juan XXIII muestra su continuidad con Kant y Rawls. Los tres proclaman no a la guerra; se oponen al clash of civilisations; afirman que la paz exige el Estado de Derecho y de derechos, el respeto a los derechos humanos y fundamentales de las personas y de los pueblos y el sometimiento a las Naciones Unidas. Mientras que para Kant el imperativo ético conlleva la erradicación de la guerra, también para Rawls (...) el orden internacional supone la eliminación de la guerra y el triunfo del Derecho; para Juan XXIII el reconocimiento y el respeto universal a los derechos humanos y/o fundamentales es condición y a la vez presupuesto y efecto de la paz que también exige la igualdad y la garantía de las necesidades primarias. (shrink)

This paper presents a human-robot closely collaborative solution to cooperatively perform surface treatment tasks such as polishing, grinding, finishing, deburring, etc. The proposed scheme is based on task priority and non-conventional sliding mode control. Furthermore, the proposal includes two force sensors attached to the manipulator end-effector and tool: one sensor is used to properly accomplish the surface treatment task, while the second one is used by the operator to guide the robot tool. The applicability and feasibility of the proposed collaborative (...) solution for robotic surface treatment are substantiated by experimental results using a redundant 7R manipulator: the Sawyer collaborative robot. (shrink)

This paper presents a human-robot closely collaborative solution to cooperatively perform surface treatment tasks such as polishing, grinding, finishing, deburring, etc. The proposed scheme is based on task priority and non-conventional sliding mode control. Furthermore, the proposal includes two force sensors attached to the manipulator end-effector and tool: one sensor is used to properly accomplish the surface treatment task, while the second one is used by the operator to guide the robot tool. The applicability and feasibility of the proposed collaborative (...) solution for robotic surface treatment are substantiated by experimental results using a redundant 7R manipulator: the Sawyer collaborative robot. (shrink)

The transition toward sustainability and the adjustment to climate change should involve the reduction of consumption behavior and the need to maintain social practices of frugality. This paper investigates the influences of consciousness for sustainable consumption, materialism, and the consideration of future consequences on frugal behaviors. Four-hundred-and-forty-four individuals responded to an instrument investigating these variables. Results of a structural model revealed that materialism significantly and negatively influenced the three dimensions of CSC: economic, environmental, and social. The consideration of distant future (...) consequences positively and significantly affected the economic dimension of CSC. Frugal behavior received significant and positive influences from the three CSC dimensions and from consideration of distant future consequences. The model explained 46% of variance in frugal behavior, revealing the importance of awareness of the consequences of resource consumption and the CFC has on promoting a moderate consumption of resources. (shrink)

The hypothalamus is a specialized area in the brain that integrates the control of energy homeostasis. More than 70 years ago, it was proposed that the central nervous system sensed circulating levels of metabolites such as glucose, lipids and amino acids and modified feeding according to the levels of those molecules. This led to the formulation of the Glucostatic, Lipostatic and Aminostatic Hypotheses. It has taken almost that much time to demonstrate that circulating long‐chain fatty acids act as signals of (...) nutrient surplus in the hypothalamus. Moreover, pharmacological and/or genetic inhibition of fatty acid synthase, AMP‐activated protein kinase and carnitine palmitoyltransferase 1 results in profound decrease in feeding and body weight in rodents. The molecular mechanism behind these actions depends on changes in the cellular pool of malonyl‐CoA and fatty acyl‐CoAs. Current evidence also suggests that this pathway may play a major role in the physiological regulation of feeding, by integrating hormonal and nutrient‐derived signals in the hypothalamus. Here, we summarize what is known about hypothalamic fatty acid metabolism and feeding control and provide future directions for research. Understanding these molecular mechanisms could provide new targets for the treatment of obesity and related disorders. BioEssays 29: 248–261, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

Snake venoms are recognized here as a grossly under‐explored resource in pharmacological prospecting. Discoveries in snake systematics demonstrate that former taxonomic bias in research has led to the neglect of thousands of species of potential medical use. Recent discoveries reveal an unexpectedly vast degree of variation in venom composition among snakes, from different species down to litter mates. The molecular mechanisms underlying this diversity are only beginning to be understood. However, the enormous potential that this resource represents for pharmacological prospecting (...) is clear. New high‐throughput screening systems offer greatly increased speed and efficiency in identifying and extracting therapeutically useful molecules. At the same time a global biodiversity crisis is threatening the very snake populations on which hopes for new venom‐derived medications depend. Biomedical researchers, pharmacologists, clinicians, herpetologists, and conservation biologists must combine their efforts if the full potential of snake venom‐derived medications is to be realized. (shrink)

Let $\varSigma $ be a signature without $0$-ary operation symbols and $\textsf{Sl}$ the category of semilattices. Then, after defining and investigating the categories $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$, of inductive systems of $\varSigma $-algebras over all semilattices, which are ordered pairs $\mathscr{A}= (\textbf{I},\mathscr{A})$ where $\textbf{I}$ is a semilattice and $\mathscr{A}$ an inductive system of $\varSigma $-algebras relative to $\textbf{I}$, and PłAlg$ (\varSigma )$, of Płonka $\varSigma $-algebras, which are ordered pairs $(\textbf{A},D)$ where $\textbf{A}$ is a $\varSigma $-algebra and $D$ a Płonka operator (...) for $\textbf{A}$, i.e. in the traditional terminology, a partition function for $\textbf{A}$, we prove the main result of the paper: There exists an adjunction, which we call the Płonka adjunction, from $\int ^{\textsf{Sl}}\textrm{Isys}_{\varSigma }$ to PłAlg$ (\varSigma )$. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

We prove, by using the concept of schematic interpretation, that the natural embedding from the category ISL, of intuitionistic sentential pretheories and i-congruence classes of morphisms, to the category CSL, of classical sentential pretheories and c-congruence classes of morphisms, has a left adjoint, which is related to the double negation interpretation of Gödel-Gentzen, and a right adjoint, which is related to the Law of Excluded Middle. Moreover, we prove that from the left to the right adjoint there is a pointwise (...) epimorphic natural transformation and that since the two endofunctors at CSL, obtained by adequately composing the aforementioned functors, are naturally isomorphic to the identity functor for CSL, the string of adjunctions constitutes an adjoint cylinder. On the other hand, we show that the operators of Lindenbaum-Tarski of formation of algebras from pretheories can be extended to equivalences of categories from the category CSL, respectively, ISL, to the category Bool, of Boolean algebras, respectively, Heyt, of Heyting algebras. Finally, we prove that the functor of regularization from Heyt to Bool has, in addition to its well-known right adjoint (that is, the canonical embedding of Bool into Heyt) a left adjoint, that from the left to the right adjoint there is a pointwise epimorphic natural transformation, and, finally, that such a string of adjunctions constitutes an adjoint cylinder. (shrink)

Organ transplantation remains one of modern medicine's remarkable achievements. It saves lives, improves quality of life, diminishes healthcare expenditures in end-stage renal patients, and enjoys high success rates. Yet the promise of transplantation is substantially compromised by the scarcity of organs. The gap between the number of patients on waiting lists and the number of available organs continues to grow. As of January 2006, the combined waiting list for all organs in the United States was 90,284. Unfortunately, thousands of potential (...) organs are lost each year, primarily due to lack of consent to donation from the deceased before death, or from the family thereafter. Only fifty percent of potential donors – the “conversion” rate – become actual donors. The costs attributed to organ shortage are substantial – Medicare paid over $15.5 billion in 2002 for treating patients with end-stage renal-disease, who predominate on organ waiting lists. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$, the monad in Set S determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, (...) to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ d from the functor $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

Gil R, Arroyo-Anllo EM, Ingrand P, Gil M, Neau JP, Ornon C, Bonnaud V. Self-consciousness and Alzheimer’s disease. Acta Neurol Scand 2001: 104: 296–300. # Munksgaard 2001. Objectives – To propose a neuropsychological study of the various aspects of self-consciousness (SC) in Alzheimer’s disease. Methods – Forty-five patients with probable mild or moderate AD were included in the study. Severity of their dementia was assessed by the Mini Mental State (MMS). Fourteen questions were prepared to evaluate SC. Results – No (...) significant correlations were found between SC score and educational level, age, and duration of disease. A significant correlation was found between SC score and the severity of dementia, whereas frontal disturbances were just short of the significance threshold. The various aspects of SC were not impaired to the same degree. The most disturbed ones were awareness of cognitive deficiencies, moral judgements and prospective memory. The least disturbed aspects were awareness of identity and of mental representation of the body. Items relating to anosognosia and moral judgements were significantly correlated with the MMS score, whereas affective state, body representation disorders, prospective memory, and capacities for introspection were not related to the severity of the dementia. Consciousness of identity was sound, regardless of MMS score. Conclusions – AD clearly induces an heterogeneous impairment of SC. SC requires a convergence of many neural networks. In AD, neuronal alterations involve many cortical areas and information sent to the associative frontal cortex from memory, language and visuospatial areas is lacking or disturbed. Thus, the sequential order of successive stimuli cannot be maintained by the heteromodal associative cortex (dorsal convexity of the prefrontal cortex), and the supramodal associative cortex (located rostrally in the frontal lobes) is unable to provide reliable monitoring and assessment of simultaneous neural cognitive networks carrying insufficient and inadequate input. The core deficiency in AD patients might be impaired SC equated with the disability to maintain sequential and simultaneous ‘‘attention to life’’. The Self-Consciousness Questionnaire, a clinical scale providing multidimensional measurement, indicates that different aspects of consciousness are not correlated with overall cognitive deficiency as determined by the MMSE. (shrink)

Obtaining informed consent has typically become a stylized ritual of presenting and signing a form, in which physicians are acting defensively and patients lack control over the content and flow of information. This leaves patients at risk both for being under-informed relative to their decisional needs and of receiving more information than they need or desire. By personalizing the process of seeking and receiving information and allowing patients to specify their desire for information in a prospective manner, we aim to (...) shift genuine control over the informational process to patients. A new paradigm of Information on Demand, such as we suggest, would also enhance legal certainty, achieve greater congruence between the information patients want and the information they receive, and promote more meaningful patient-physician interactions, a desirable outcome that has been difficult to achieve by other means. (shrink)

In an explicit attempt to reduce physician paternalism and encourage patient participation in making health care decisions, the informed consent doctrine has become a foundational precept in medical ethics and health law. The underlying ethical principle on which informed consent rests — autonomy — embodies the idea that as rational moral agents, patients should be in command of decisions that relate to their bodies and lives. The corollary obligation of physicians to respect and facilitate patient autonomy is reflected in the (...) rules that have been created to implement consent procedures, especially those requiring disclosure of relevant information.However, there are many practical impediments to patient self-determination in health care decisionmaking. Well-meaning physicians often lack the time to live up to the ideal of facilitating genuine, informed deliberation with and by their patients, and many lack the motivation or skill to do so successfully. (shrink)

Organ transplantation has become a proven, cost-effective lifesaving treatment, but its promise is contingent on the number of available organs. The growing gap between the demand and supply results in unnecessary loss and diminished quality of life as well as high costs for surviving patients and health insurers. Twenty years after the enactment of the National Organ Transplantation Act, it is time to rethink the moral basis and overall design of organ transplantation policy. We propose a national plan for organ (...) transplantation insurance under which the federal government would assume responsibility for increasing the organ supply and would cover all costs associated with transplantation for patients not otherwise covered. (shrink)

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...) a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed. (shrink)

The acceleration of the market globalisation process over the last three decades has internationalised clinical research and influenced both the way in which it is funded and the development and application of research practices. In addition, in recent years international multicentre randomised clinical trials have become the model par excellence for research on new medicines. The neoliberal model of globalisation has induced a decline in state power, both with regard to establishing national research for health priorities and to influencing the (...) development of adequate ethical guidelines to protect human beings that participate in multinational research. In this respect, poor and low-income countries, which lack sustainable control and review systems to deal with the ethical and methodological challenges of complex studies conducted by researchers from affluent countries and funded by large multinational pharmaceutical companies, are particularly vulnerable. The aim of the present paper is to explore critically some of the actual and possible ethical pitfalls of globalisation of clinical research and propose mechanisms for turning transnational clinical research into a more cooperative and fairer enterprise. (shrink)

We show that Dedekind, in his proof of the principle of definition by mathematical recursion, used implicitly both the concept of an inductive cone from an inductive system of sets and that of the inductive limit of an inductive system of sets. Moreover, we show that in Dedekind’s work on the foundations of mathematics one can also find specific occurrences of various profound mathematical ideas in the fields of universal algebra, category theory, the theory of primitive recursive mappings, and set (...) theory, which undoubtedly point towards the mathematics of twentieth and twenty-first centuries. (shrink)

ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in [2] and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in [2]. For the special case (...) of the finite linear MV-algebras, the Strong Completeness Theorem was proved in [10], as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems. (shrink)

I argue that (1) the accusation that psychological methods are too diverse conflates “reliability” with “validity”; (2) one must not choose methods by the results they produce – what matters is whether a method acceptably models the real-world situation one is trying to understand; (3) one must also distinguish methodological failings from differences that arise from the pursuit of different theoretical questions.

When considering m-sequents, it is always possible to obtain an m-sequent calculus VL for every m-valued logic (defined from an arbitrary finite algebra L of cardinality m) following for instance the works of the Vienna Group for Multiple-valued Logics. The Gentzen relations associated with the calculi VL are always finitely equivalential but might not be algebraizable. In this paper we associate an algebraizable 2-Gentzen relation with every sequent calculus VL in a uniform way, provided the original algebra L has a (...) reduct that is a distributive lattice or a pseudocomplemented distributive lattice. We also show that the sentential logic naturally associated with the provable sequents of this algebraizable Gentzen relation is the logic that preserves degrees of truth with respect to the original algebra (in contrast with the more common logic that merely preserves truth). Finally, for some particular logics we obtain 2-sequent calculi that axiomatize the algebraizable Gentzen relations obtained so far. (shrink)

El actual discurso social sobre el mal es obsoleto e ineficaz. Vivimos bajo presupuestos cognitivos (parcialmente) fallidos que se resisten a sucumbir porque están en juego necesidades psicológicas unidas a un determinado concepto del ser humano, de Dios (o de lo que se esconde tras esta idea para los ateos) y de la realidad. Este artículo trata de desarrollar un nuevo enfoque del problema-enigma del mal que pone en cuestión diez paradigmas dominantes, planteando la necesidad de reconocer su existencia (en (...) torno al concepto de exceso) como requisito para plantarle cara como única opción moral, la de luchar con todas las armas disponibles, incluido un saber que aspira a relacionar e integrar diversos saberes en torno a un único objetivo: derrotar el mal o al menos intentarlo. (shrink)